<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<body>
Non-graph-specific data structures, algorithms, and utilities used by
<b>JGraphT</b>.  
</body>
</html>
